<?php
	echo json_encode($recorridos_realizados);
?>